verification and control造句

例句与造句

1. 2 daws c , olivero a , tripakis s , yovine s . the tool kronos . in dimacs workshop on verification and control of hybrid systems , lncs 1066 , springer - verlag , october 1995 . 3 henzinger t a , ho p h . hytech : the cornell hybrid technology tool
   当自动机当前状态为l时，转换l , g , r , l的使能条件是时钟变量的取值满足g ，而当转换发生之后， r中时钟的值被重置为0 。
2. It's difficult to find verification and control in a sentence. 用verification and control造句挺难的